At the beginning of the 9th c. George Syncellus began to write a universal chronicle, the second part of which was completed by the monk Theophanes. According to Byzantine tradition this monk was Theophanes the Confessor. But 10th-century sources note that this Theophanes was the grandfather or greatuncle of the emperor Constantine VII, which is historically impossible. This prompted P. Speck to invent “another Theophanes”, who lived during the second half of the 9th c. and was the editor of the (...) Chronicle of Theophanes. The hypothesis turns out to be unfounded and untenable. Also untenable and unrelated to the sources is the hypothesis of C. Zuckerman that the author of the Chronicle is another Theophanes who lived at the same time as the Confessor. This study, after an analysis of sources, proves in both cases that they are historical phantoms. (shrink)

La fouille des thermes de l'agora d'Argos a donné un sceau d'un certain Menas, stratège du thème de Céphalonie, dont le nom de famille est inconnu. Le sceau date de la fin du IXe ou du début du Xe siècle.

This chapter develops a perceptual solution to the epistemological problem of other minds, relying on central ideas from Maurice Merleau-Ponty's phenomenology. The Merleau-Pontian account is contrasted with another attempted perceptual solution to the other minds problem, and it is argued that only the former meets the phenomenologists' desideratum of providing an alternative to inferential solutions. The chapter also provides responses to various objections to the perceptual solution, including a pair of objections recently put forward by Alec Hyslop.

Study of Hans-Georg Gadamer's and Julius Stenzel's interpretations of Plato.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to (...) term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning. (shrink)

This paper is a technical study of the systematic observations and computations made by Muḥyī al-Dīn al-Maghribī (d. 1283) at the Maragha observatory (north-western Iran, c. 1259–1320) in order to newly determine the parameters of the Ptolemaic lunar model, as explained in his Talkhīṣ al-majisṭī, “Compendium of the Almagest.” He used three lunar eclipses on March 7, 1262, April 7, 1270, and January 24, 1274, in order to measure the lunar epicycle radius and mean motions; an observation on April 20, (...) 1264, to determine the lunar eccentricity; an observation on August 29, 1264, to test the model; and another on March 15, 1262, for measuring the lunar parallax. In the second period of activity at the Maragha observatory, Shams al-Dīn Muḥammad al-Wābkanawī (c. 1254–1320) adopted all of al-Maghribī’s parameter values in his Zīj, but decreased his value for the mean longitude of the moon at epoch by 0;13,11∘\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$^{\circ }$$\end{document}. By comparing the times of the new moons and lunar eclipses in the period of 1270–1320 as computed from the astronomical tables of the Maragha tradition with the true modern ones, it is argued that this correction was very probably the result of actual observations. (shrink)

Commentary on Tarkasaṅgraha of Annambhaṭṭa, 17th cent., work on Nyaya and Vaiśeṣika philosophy; critical edition with complete text.

Seminar papers on Dvaitadvaita philosophy with reference to Advaitabrahmasiddhi of Madhusūdana Sarasvatī and Nyāyāmr̥ta of Vyāsatīrtha, 1460-1539.

Professor Toynbee observes in his Study of History that as he walked down Whitehall one day in the spring of 1918, and passed the Board of Education offices which had been commandeered for a new department of the War Office, “improvised in order to make an intensive study of trench warfare,” he found himself repeating the passage from St. Matthew's Gospel.

This comprehensive and important volume includes contributions by activists, journalists, lawyers and scholars from twenty-one countries. The essays map the directions the movement for women's rights is taking--and will take in the coming decades--and the concomittant transformation of prevailing notions of rights and issues. They address topics such as the rapes in former Yugoslavia and efforts to see that a War Crimes Tribunal responds; domestic violence; trafficking of women into the sex trade; the persecution of lesbians; female genital mutilation; and (...) reproductive rights. (shrink)

This volume gathers together for the first time are all the key texts in a crucial debate in modern philosophy, centered on Leibniz's famous 1695 essay, the "New System of the Nature of Substances and their Communication," in which he introduced his strikingly original theory of metaphysics. His "system" became increasingly famous and drew him into discussion and development of these ideas, both in public and in private, with a variety of thinkers, most notably the great French philosopher Pierre Bayle. (...) Woolhouse's and Francks's new English edition gives the only full representation of this debate, and will therefore be essential reading for anyone who wishes to gain a proper understanding of Leibniz's philosophy and its intelletual context. All the texts are newly translated and extensively annotated; many appear in English for the first time. (shrink)

Introduction -- Tending the dark fire: the Boehmian notion of drive -- The night-side of nature: the early Schellingian unconscious -- The speculative psychology of dissociation: the later Schellingian unconscious -- Schellingian libido theory.